| 1. | Shakey the Robot was the first general-purpose mobile robot to be able to reason about its own actions.
Shakey le robot est le premier robot générique capable de raisonner sur ses actions. |
| 2. | For reasoning about the relations between temporal intervals, Allen's Interval Algebra provides a composition table.
Pour raisonner sur les relations entre des intervalles temporels, l'algèbre des intervalles d'Allen propose une table de composition. |
| 3. | Hoare logic is a specific formal system for reasoning rigorously about the correctness of computer programs.
La méthode de Hoare met en place un formalisme logique permettant de raisonner sur la correction des programmes informatiques. |
| 4. | The importance of referential transparency is that it allows the programmer and the compiler to reason about program behavior as a rewrite system.
L'importance de la transparence référentielle est qu'elle permet au programmeur ou au compilateur de raisonner sur le comportement du programme. |
| 5. | In theoretical terms, this establishes a measure of sanity, whereby one can reason about a program's state without simultaneously modifying that state.
En termes théoriques, cela établit une mesure de cohérence, par laquelle on peut raisonner sur l'état d'un programme sans modifier simultanément cet état. |
| 6. | Although real programs are rarely purely deterministic, it is easier for humans as well as other programs to reason about programs that are.
Bien que les programmes réels soient rarement purement déterministes, il est plus facile pour des êtres humains -- ou d'autres programmes --, de raisonner sur des programmes qui le sont. |
| 7. | There is widespread enthusiasm for the idea of the market as a fundamental reference point for the organization of production and also as a factor in guaranteeing income.
on s'empresse , de plusieurs côtés , de raisonner sur le marché comme point de repère fondamental pour l'organisation de la production ainsi que comme élément de garantie du revenu. |
